Pierre Médan's Documents

Pierre Médan's Documents

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions
Read more
Artificial Evolution: 7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers

Artificial Evolution: 7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers
Read more
Tourism and Generation Y

Tourism and Generation Y
Read more
Seminaire de probabilites XXXIII

Seminaire de probabilites XXXIII
Read more
Algebraic Geometry, la Rabida, Spain 1981: Proceedings

Algebraic Geometry, la Rabida, Spain 1981: Proceedings
Read more
Acid Rock

Acid Rock
Read more
Greening of Petroleum Operations: The Science of Sustainable Energy Production (Wiley-Scrivener)

Greening of Petroleum Operations: The Science of Sustainable Energy Production (Wiley-Scrivener)
Read more
Selected Topics on Constrained and Nonlinear Control

Selected Topics on Constrained and Nonlinear Control
Read more
Transforming Higher Education: A Comparative Study (Higher Education Dynamics)

Transforming Higher Education: A Comparative Study (Higher Education Dynamics)
Read more
Construing Experience Through Meaning: A Language-based Approach to Cognition (Open linguistics series)

Construing Experience Through Meaning: A Language-based Approach to Cognition (Open linguistics series)
Read more
Chromosomal Instability and Aging: Basic Science and Clinical Implications

Chromosomal Instability and Aging: Basic Science and Clinical Implications
Read more
Atlas of Upper Gastrointestinal and Hepato-Pancreato-Biliary Surgery

Atlas of Upper Gastrointestinal and Hepato-Pancreato-Biliary Surgery
Read more
Introduccion a la Termodinamica Ing. Quimica - Introduction to Chemical Engineering Thermodynamics SPANISH

Introduccion a la Termodinamica Ing. Quimica - Introduction to Chemical Engineering Thermodynamics SPANISH
Read more
Seminaire De Probabilites (only TOC+errata)

Seminaire De Probabilites (only TOC+errata)
Read more
Turbulence: New Approaches

Turbulence: New Approaches
Read more
Numerical Solution of Boundary Value Problems for Ordinary Differential Equations

Numerical Solution of Boundary Value Problems for Ordinary Differential Equations
Read more
The Harvard Sampler: Liberal Education for the Twenty-First Century

The Harvard Sampler: Liberal Education for the Twenty-First Century
Read more
Structural Analysis and Synthesis

Structural Analysis and Synthesis
Read more
EU COST C13 Glass and In Building Envelopes - Final Report: Volume 1 Research in Architectural Engineering Series (Research in Architectural Engineering)

EU COST C13 Glass and In Building Envelopes - Final Report: Volume 1 Research in Architectural Engineering Series (Research in Architectural Engineering)
Read more
Surgical Neuroangiography

Surgical Neuroangiography
Read more
Seminaire de Probabilites XXXIV

Seminaire de Probabilites XXXIV
Read more
Seminaire De Probabilites

Seminaire De Probabilites
Read more
Acid Rock

Acid Rock
Read more
Construing Experience Through Meaning: A Language-Based Approach to Cognition (Open linguistics series)

Construing Experience Through Meaning: A Language-Based Approach to Cognition (Open linguistics series)
Read more
Acid Rock

Acid Rock
Read more
Sustainable Groundwater Development (Geological Society Special Publication,)

Sustainable Groundwater Development (Geological Society Special Publication,)
Read more
Plant Adaptation and Phytoremediation

Plant Adaptation and Phytoremediation
Read more
Structural Analysis and Synthesis: A Laboratory Course in Structural Geology, 3rd Revised edition

Structural Analysis and Synthesis: A Laboratory Course in Structural Geology, 3rd Revised edition
Read more
Introduccion a la Termodinamica Ing. Quimica - Introduction to Chemical Engineering Thermodynamics SPANISH

Introduccion a la Termodinamica Ing. Quimica - Introduction to Chemical Engineering Thermodynamics SPANISH
Read more
Turbulence, New Approaches

Turbulence, New Approaches
Read more